Wrapping a real-time operating system with an OSEK compliant interface — a feasibility study | IEEE Conference Publication | IEEE Xplore